Program Algebra over an Algebra1

Ideals in a Polyadic Algebra1

In an important sequence of papers, Halmos has developed the beautiful and significant theory of algebraic logic. The central mathematical object of this theory is the polyadic algebra, which incorporates in an axiomatic way the concepts of substitution, transformation, and quantification for the lower functional calculus. The beauty of the theory is revealed by the fact that the semantic compl...

Spacetime Physics with Geometric Algebra1

This is an introduction to spacetime algebra (STA) as a unified mathematical language for physics. STA simplifies, extends and integrates the mathematical methods of classical, relativistic and quantum physics while elucidating geometric structure of the theory. For example, STA provides a single, matrixfree spinor method for rotational dynamics with applications from classical rigid body mecha...

On a Commutative Extension of a Banach Algebra1

Introduction. Let A be a commutative semi-simple Banach algebra and let A(.4) be the set of nonzero multiplicative functionals on A. Denote by A' the strongly closed span of A(^4) and by A" the Banach space adjoint of A'. Modifying a construction of R. Arens [l] we introduce a multiplication in A" under which A" becomes a commutative Banach algebra. A is algebraically isomorphic to a subalgebra...

On some open problems in cone metric space over Banach algebra

In this paper we prove an analogue of Banach and Kannan fixed point theorems by generalizing the Lipschitz constat $k$, in generalized Lipschitz mapping on cone metric space over Banach algebra, which are answers for the open problems proposed by Sastry et al, [K. P. R. Sastry, G. A. Naidu, T. Bakeshie, Fixed point theorems in cone metric spaces with Banach algebra cones, Int. J. of Math. Sci. ...

Some Problems in Non-abelian Homotopical and Homological Algebra1